predicate calculus logic
述词演算逻辑
热门查询
- tachycardia n. [内科] 心动过速；心跳过速
- chasuble n. 十字褡（举行弥撒时神父穿的无袖长袍）
- creaking n. 嘎吱嘎吱声 vi. 发出咯吱咯吱声；勉强运转 vt. 使咯吱咯吱响 n. (Creak)人名；(英)克里克
- limbless adj. 无肢的；无枝叉的；无翼的
- moralizing v. 说教；使有德行（moralize的ing形式）
- passageway n. 通道；走廊
- powerhouse n. 精力旺盛的人；动力室；发电所
- factorable adj. 可分解因子的
- throw n. 投掷；冒险 vt. 投；抛；掷 vi. 抛；投掷
- foretaste n. 先试；预示；先尝；试吃 vt. 先试；预尝；快乐地期待
- restaurant n. 餐馆；[经] 饭店
- playhouse n. 剧场；玩具房屋；儿童游戏室
- Staten n. 斯塔藤（岛），位于美国纽约
- interdisciplinary adj. 各学科间的；跨学科的
- humanization n. 人类化；教化
- Bremner [人名] [苏格兰人姓氏] 布雷姆纳地区名称，来源于早期苏格兰语，含义是“布拉班特人”(native of Brabant)
- fueling v. 加燃料（fuel的ing形式）
- uniformity n. 均匀性；一致；同样
- singalong n. 歌咏会；歌唱聚会
- T n. 英语字母中的第二十个字母 symb. 氚（tritium）
